Design and Verification of Pervasive System Security

The vision of Pervasive Computing is that every device we communicate today has become a part of everyday objects, augmented with information services. Though there are a number of frameworks is been developed for security of smart systems, there is still space for research in the field of security of these systems. User privacy and Trust needs more concentration in a pervasive environment. Context-awareness, Autonomy and Intelligence are the important features of pervasive computing environment. These systems face more issues with respect to aspects like security and mobility of devices. The context based security policies are more important for the pervasive environment. To make the pervasive systems more secure the security policies provided should be adaptive to the various context available in a single entity/context. This paper is one approach to develop security policies according to the changing context for the pervasive systems.